4. Verify that the procedure terminates.